SRC = goto_convert.cpp goto_function.cpp goto_main.cpp goto_sideeffects.cpp \
      builtin_functions.cpp goto_program.cpp goto_threads.cpp \
      goto_function_pointers.cpp goto_functions.cpp goto_inline.cpp \
      remove_skip.cpp goto_convert_functions.cpp \
      destructor.cpp \
      goto_program_serialization.cpp goto_function_serialization.cpp \
      goto_program_irep.cpp \
      goto_program_template.cpp \
      dynamic_memory.cpp \
      goto_clean_expr.cpp \
      CFA_StructHandle.cpp \
      goto_check.cpp

OBJ = $(SRC:.cpp=.o)

INCLUDES= -I .. -I ../util

all: goto-programs.a

include ../config.inc
include ../common

###############################################################################

goto-programs.a: $(OBJ)
	#echo "$(LD) $(LDFLAGS) -o goto-programs.o $(OBJ)"
	$(LINKLIB)
	#ld -r -o goto-programs.o $(OBJ)

test_wp: test_wp.o goto-programs.o
	$(CPLUS) $(LINKFLAGS) test_wp.o -o test_wp \
	../ansi-c/ansi-c.o  ../util/util.o  ../big-int/bigint.o goto-programs.o \
	../pointer-analysis/pointer-analysis.o ../langapi/langapi.o -g

#clean:
#	rm -f *.o
#	rm -f *.d
